منابع مشابه
compactifications and representations of transformation semigroups
this thesis deals essentially (but not from all aspects) with the extension of the notion of semigroup compactification and the construction of a general theory of semitopological nonaffine (affine) transformation semigroup compactifications. it determines those compactification which are universal with respect to some algebric or topological properties. as an application of the theory, it is i...
15 صفحه اولGroups of banded matrices with banded inverses
AproductADF1 : : : FN of invertible block-diagonalmatrices will be bandedwith a banded inverse. We establish this factorization with the numberN controlled by the bandwidthsw and not by the matrix size n:When A is an orthogonal matrix, or a permutation, or banded plus finite rank, the factors Fi have w D 1 and generate that corresponding group. In the case of infinite matrices, conjectures rema...
متن کاملGuarded Actions
Guarded actions are changes with preconditions acting as a guard. Guarded action models are multimodal Kripke models with the valuations replaced by guarded actions. Call guarded action logic the result of adding product updates with guarded action models to PDL (propositional dynamic logic). We show that guarded action logic reduces to PDL. keywords Dynamic epistemic logic, logic of communicat...
متن کاملBanded Matrices with Banded Inverses and A = LPU
Abstract. If A is a banded matrix with a banded inverse, then A = BC = F1 . . . FN is a product of block-diagonal matrices. We review this factorization, in which the Fi are tridiagonal and N is independent of the matrix size. For a permutation with bandwidth w, each Fi exchanges disjoint pairs of neighbors and N < 2w. This paper begins the extension to infinite matrices. For doubly infinite pe...
متن کاملGuarded Cubical Type Theory: Path Equality for Guarded Recursion
This paper improves the treatment of equality in guarded dependent type theory (GDTT), by combining it with cubical type theory (CTT). GDTT is an extensional type theory with guarded recursive types, which are useful for building models of program logics, and for programming and reasoning with coinductive types. We wish to implement GDTT with decidable type checking, while still supporting non-...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Semigroup Forum
سال: 2006
ISSN: 0037-1912,1432-2137
DOI: 10.1007/s00233-005-0558-1